| ||||
Actions defined by the extension Adaptive Hints by Eric Eve
Asking for hints
, disabling hints
disabling hints
(past tense disabled hints)
Typed commands leading to this action
Rules controlling this action
check query disabling hints rule name unlist
carry out hint disabling rule name unlist
report standard report disabling rule name unlist